This article presents a two level hierarchical forecasting model developed in a consulting project for a Brazilian magazine publishing company. The first level uses a VARMA model and considers econometric variables. The second level takes into account qualitative aspects of each publication issue, and is based on polynomial networks generated by Genetic Programming (GP).

Statistical tests that detect and measure deviation from the Hardy-Weinberg equilibrium (HWE) have been devised but are limited when testing for deviation at multiallelic DNA loci is attempted. Here we present the full Bayesian significance test (FBST) for the HWE. This test depends neither on asymptotic results nor on the number of possible alleles for the particular locus being evaluated. The FBST is based on the computation of an evidence index in favor of the HWE hypothesis. A great deal of (...) forensic inference based on DNA evidence assumes that the HWE is valid for the genetic loci being used. We applied the FBST to genotypes obtained at several multiallelic short tandem repeat loci during routine parentage testing; the locus Penta E exemplifies those clearly in HWE while others such as D10S1214 and D19S253 do not appear to show this. (shrink)

Much forensic inference based upon DNA evidence is made assuming Hardy-Weinberg Equilibrium (HWE) for the genetic loci being used. Several statistical tests to detect and measure deviation from HWE have been devised, and their limitations become more obvious when testing for deviation within multiallelic DNA loci. The most popular methods-Chi-square and Likelihood-ratio tests-are based on asymptotic results and cannot guarantee a good performance in the presence of low frequency genotypes. Since the parameter space dimension increases at a quadratic rate on (...) the number of alleles, some authors suggest applying sequential methods, where the multiallelic case is reformulated as a sequence of “biallelic” tests. However, in this approach it is not obvious how to assess the general evidence of the original hypothesis; nor is it clear how to establish the significance level for its acceptance/rejection. In this work, we introduce a straightforward method for the multiallelic HWE test, which overcomes the aforementioned issues of sequential methods. The core theory for the proposed method is given by the Full Bayesian Significance Test (FBST), an intuitive Bayesian approach which does not assign positive probabilities to zero measure sets when testing sharp hypotheses. We compare FBST performance to Chi-square, Likelihood-ratio and Markov chain tests, in three numerical experiments. The results suggest that FBST is a robust and high performance method for the HWE test, even in the presence of several alleles and small sample sizes. (shrink)

Intentional sampling methods are non-probabilistic procedures that select a group of individuals for a sample with the purpose of meeting specific prescribed criteria. Intentional sampling methods are intended for exploratory research or pilot studies where tight budget constraints preclude the use of traditional randomized representative sampling. The possibility of subsequently generalize statistically from such deterministic samples to the general population has been the issue of long standing arguments and debates. Nevertheless, the intentional sampling techniques developed in this paper explore pragmatic (...) strategies for overcoming some of the real or perceived shortcomings and limitations of intentional sampling in practical applications. (shrink)

Clearing algorithms are at the core of modern payment systems, facilitating the settling of multilateral credit messages with (near) minimum transfers of currency. Traditional clearing procedures use batch processing based on MILP - mixed-integer linear programming algorithms. The MILP approach demands intensive computational resources; moreover, it is also vulnerable to operational risks generated by possible defaults during the inter-batch period. This paper presents TORC3 - the Token-Ring Clearing Algorithm for Currency Circulation. In contrast to the MILP approach, TORC3 is a (...) real time heuristic procedure, demanding modest computational resources, and able to completely shield the clearing operation against the participating agents’ risk of default. (shrink)

Realizar uma discussão teórica decorrente da perspectiva ninfomanía em um cenário da pandemia do covid-19, possibilitando o resumo de informações como facilitador do tratamento de pacientes. Trata-se de uma revisão narrativa de aspecto critico discursivo, onde a construção da pesquisa e a formulação foram baseadas em publicações relevantes sobre o tema proposto, conceituando a doença e os fatores que influenciam seu diagnóstico e tratamento. Questionável nos aspectos sociais, religiosos e na perda do controle sexual ao deparar mos em situação de (...) isolamento social, necessitando de tratamento adequado. O aumento da exposição na mídia de pessoas que sofrem de distúrbios ninfomaníacos pode ser negativo, seja refletido no sentimento de preconceitos e incertezas perante a expansão de uma pandemia, onde consultas medicas e informações fornecidas por profissionais habilitados são todas por video chamadas, seguindo o protocolo do distanciamento, resultando na exposição de informações. Ressaltam se que são poucas as publicações sobre o assunto, principalmente em novas perspectivas diante da pandemia do covid-19 dificultando a compreensão. -/- REFERÊNCIAS 1. BARBOSA JPS. A produção de significados em pôsteres de filmes quer: diálogos entre a Análise Crítica do Discurso, os Estudos da Tradução e a Identidade de Gênero. Revista do Centro de Estudos da Linguagem da Universidade Federal de Rondônia,2018; 5(1):197-217. 2. CANTO JAM, PAULA PLD. Ninfomaníaca: Um filme sob a lente da psicanálise. Revista Brasileira de Ciências da Vida, 2017; 6(1): 2525-359X. 3. CZAPLA P. Sexualidade e governo: a produção do perverso pelos discursos médicos. Aedos, Porto Alegre, v. 12, n. 26, ago. 2020. 4. FERREIRA IT, et al. Avaliação da qualidade da consulta de enfermagem em infecções sexualmente transmissíveis. Enfermagem Foco, 2018; 9(3): 42-47. 5. FERREIRA MJP, et al. Preconceito no futebol feminino no Brasil. Revista Diálogos em SaúdeISSN: 2596-206X. 6. GIGLIOTTI A, GUIMARÃES A. Dependência, compulsão e impulsividade. Rio de Janeiro: Rubio, 2007;65-67p. 7. PEREIRA GSM, et al. HIV/aids, hepatites virais e outras IST no Brasil: tendências epidemiológicas. REV BRAS EPIDEMIOL 2019; 22(SUPPL 1): E190001. supl.1. 8. ROQUE MV. Ninfa distante: as estrelas intermitentes de Manuel Bandeira. AfluAfluente, UFMA/CCEL, v.5, n.15, p. 96-121, jan./jun. 2020 ISSN 2525-3441. 9. SANTOS MIDA, PINHEIRO CVQ. Representações da loucura feminina no cinema – Augustine e nimphomaniac. Revista Humanidades, 2016; 31(2): 395-414. 10. SANTOS MACM, SALLES VLR. O fenômeno da histeria e a visão da sexualidade feminina na literatura: realismo/naturalismo europeu. Revista Interdisciplinar em Cultura e Sociedade, São Luís, 2016; 2(1):109-126. 11. SILVA EIC. Relação e efeitos bioquímico-nutricionais sobre o cio ou estro permanente em vacas. Revista AGROPE IFPEBJ – Vol. 1 n° 1. pp. 27-34. 12. SILVA CRO. A escola como lugar de prevenção: educação para a saúde para a paz. Revista Educação, 2018; 13(1):151-161. 13. SILVA VL, et al. Análise da motivação de pessoas: um estudo baseado em princípios da Hierarquia de Necessidades de Maslow. Revista Foco, 2017;10(2):148-166. 14. SOARES FR, et al. Satiríase: o gozo incontrolável e seus desprazeres psíquicos. Faculdade Estácio de Sá de Goiás, 2018; 1(1): 62-66. (shrink)

One of the major challenges in the philosophy of religion is theological fatalism—roughly, the claim that divine omniscience is incompatible with free will. In this article, I present new reasons to be skeptical of what I consider to be the strongest argument for theological fatalism. First, I argue that divine foreknowledge is not necessary for an argument against free will if we take into account divine knowledge of contingent a priori truths. Second, I show that this argument can be generalized (...) so that ordinary human knowledge of contingent a priori truths also leads to an argument against free will. This, I believe, results in an absurd conclusion that is unacceptable to both theists and non-theists. But if there is something wrong with this argument, there is something wrong, too, with the argument for theological fatalism. Although there is a range of possible responses, I suggest that the core issue in all cases is a closure principle—specifically, the principle that ‘no choice about’ is closed under entailment (or strict implication). (shrink)

David Chalmers argued against the claim that for all p, or even for all entertainable p, it is knowable a priori that p iff actually p. Instead of criticizing Chalmers’s argument, I suggest that it can be generalized, in a sense, and in interesting ways, concerning other principles about contingent a priori truths. In particular, I will argue that the puzzle presented by Chalmers runs parallel to others that do not turn on ‘actually’. Furthermore, stronger arguments can be presented that (...) do not turn on apriority either, though they do entail the conclusion of Chalmers’s argument. All such puzzles involve interactions between rigidifying sentence-forming devices with factive operators. (shrink)

This essay explores Jonas’s multifaceted and rich enquiries into the notion of image. In particular, it argues that reflecting on the “image” helps Jonas clarify the unique condition of human existence, where the twine of thought and being reveals a paradoxical (and yet crucial) relationship between time and eternity, change and permanence, immanence and transcendence. The employ of the interpretative device provided by the image enables a nuanced understanding of the human complexity which goes beyond the partial and reductive descriptions (...) of relativistic immanentism, on the one hand, and immutable transcendence, on the other. By commenting upon its anthropological, aesthetic, and ethical significance, we propose that the study of Jonas’s thoughts on the image not only offers valuable insights into the philosophical understanding of such a fascinating object, but also sheds a new and interesting light on the unity of his oeuvre. (shrink)

We present a new puzzle about logical truth, necessity, and moral responsibility. We defend one solution to the puzzle. A corollary of our preferred solution is that prominent arguments for the incompatibility of determinism and moral responsibility are invalid.

In a recent paper, Pruss proves the validity of the rule beta-2 relative to Lewis’s semantics for counterfactuals, which is a significant step forward in the debate about the consequence argument. Yet, we believe there remain intuitive counter-examples to beta-2 formulated with the actuality operator and rigidified descriptions. We offer a novel and two-dimensional formulation of the Lewisian semantics for counterfactuals and prove the validity of a new transfer rule according to which a new version of the consequence argument can (...) be formulated. This new transfer rule is immune to the counter-examples involving the actuality operator and rigidified descriptions. However, we show that counter-examples to this new rule can also be generated, demanding that the Lewisian semantics be generalized for higher dimensions where counter-examples can always be generated. (shrink)

Entrevista com Érica Danielle Silva por Alex Pereira de Araújo, em julho de 2014, na Paris 3 (Sorbonne Nouvelle). Érica Danielle Silva é doutoranda em Letras, pela Universidade Estadual de Maringá, na linha do Texto e do Discurso e integrante do Grupo de Estudos em Análise do Discurso da UEM – GEDUEM (UEM/CNPq). Entrevistada em julho de 2014, no início de seu estágio sanduíche em Paris, Érica contou um pouco de seu percurso acadêmico, sua pesquisa e as expectativas para (...) as pesquisas na França. (shrink)

While most people believe the best possible life they could lead would be an immortal one, so‐called “immortality curmudgeons” disagree. Following Bernard Williams, they argue that, at best, we have no prudential reason to live an immortal life, and at worst, an immortal life would necessarily be bad for creatures like us. In this article, we examine Bernard Williams' seminal argument against the desirability of immortality and the subsequent literature it spawned. We first reconstruct and motivate Williams' somewhat cryptic argument (...) in three parts. After that, we elucidate and motivate the three best (and most influential) counterarguments to Williams' seminal argument. Finally, we review, and critically examine, two further distinct arguments in favor of the anti‐immortality position. (shrink)

This book offers a systematic and thorough philosophical analysis of the ways in which driving automation crosses path with ethical values. Upon introducing the different forms of driving automation and examining their relation to human autonomy, it provides readers with in-depth reflections on safety, privacy, moral judgment, control, responsibility, sustainability, and other ethical issues. Driving is undoubtedly a moral activity as a human act. Transferring it to artificial agents such as connected and automated vehicles necessarily raises many philosophical questions. When (...) driving is automated, what happens to its ethical dimensions? Could artificial agents accomplish ethical objectives on our behalf, take moral decisions in our place, and drive us into a more ethical transportation future? In doing so, would they be “moral” as we are or in a way that is similar to, but also remarkably different from, our own? And what role is yet to be played by human responsibility and commitment? The book addresses these questions with the aim of stimulating an interdisciplinary dialogue between different stakeholders. They include automotive engineers, computer scientists, and moral philosophers, as well as industry representatives, policymakers, regulators, transportation experts, and the general public. Indeed, connected and automated vehicles will not take the high road for us . We must drive them there. (shrink)

Several theists, including Linda Zagzebski, have claimed that theism is somehow committed to nonvacuism about counterpossibles. Even though Zagzebski herself has rejected vacuism, she has offered an argument in favour of it, which Edward Wierenga has defended as providing strong support for vacuism that is independent of the orthodox semantics for counterfactuals, mainly developed by David Lewis and Robert Stalnaker. In this paper I show that argument to be sound only relative to the orthodox semantics, which entails vacuism, and give (...) an example of a semantics for counterfactuals countenancing impossible worlds for which it fails. (shrink)

Artificial Intelligence (AI) systems are ubiquitous. From social media timelines, video recommendations on YouTube, and the kinds of adverts we see online, AI, in a very real sense, filters the world we see. More than that, AI is being embedded in agent-like systems, which might prompt certain reactions from users. Specifically, we might find ourselves feeling frustrated if these systems do not meet our expectations. In normal situations, this might be fine, but with the ever increasing sophistication of AI-systems, this (...) might become a problem. While it seems unproblematic to realize that being angry at your car for breaking down is unfitting, can the same be said for AI-systems? In this paper, therefore, I will investigate the so-called “reactive attitudes”, and their important link to our responsibility practices. I then show how within this framework there exist exemption and excuse conditions, and test whether our adopting the “objective attitude” toward agential AI is justified. I argue that such an attitude is appropriate in the context of three distinct senses of responsibility (answerability, attributability, and accountability), and that, therefore, AI-systems do not undermine our responsibility ascriptions. (shrink)

In a recent article, P. Roger Turner and Justin Capes argue that no one is, or ever was, even partly morally responsible for certain world-indexed truths. Here we present our reasons for thinking that their argument is unsound: It depends on the premise that possible worlds are maximally consistent states of affairs, which is, under plausible assumptions concerning states of affairs, demonstrably false. Our argument to show this is based on Bertrand Russell’s original ‘paradox of propositions’. We should then opt (...) for a different approach to explain world-indexed truths whose upshot is that we may be morally responsible for some of them. The result to the effect that there are no maximally consistent states of affairs is independently interesting though, since this notion motivates an account of the nature of possible worlds in the metaphysics of modality. We also register in this article, independently of our response to Turner and Capes, and in the spirit of Russell’s aforementioned paradox and many other versions thereof, a proof of the claim that there is no set of all true propositions one can render false. (shrink)

In this paper I provide an exposition and critique of Johnson and Noorman’s (2014) three conceptualizations of the agential roles artificial systems can play. I argue that two of these conceptions are unproblematic: that of causally efficacious agency and “acting for” or surrogate agency. Their third conception, that of “autonomous agency,” however, is one I have reservations about. The authors point out that there are two ways in which the term “autonomy” can be used: there is, firstly, the engineering sense (...) of the term, which simply refers to the ability of some system to act independently of substantive human control. Secondly, there is the moral sense of the term, which has traditionally grounded many notions of human mor-al responsibility. I argue that the continued usage of “autonomy” in discussions of artificial agency complicates matters unnecessarily. This occurs in two ways: firstly, the condition of autonomy, even in its engineering sense, fails to accurately describe the way “autonomous” systems are developed in practice. Secondly, the continued usage of autonomy in the moral sense introduces unnecessary meta-physical baggage form the free will debate into discussions about moral agency. In order to understand the debate surrounding autonomy, we would therefore first need to settle many seemingly intractable metaphysical questions regarding the existence of free will in human beings. (shrink)

It is a widely held principle that no one is able to do something that would require the past to have been different from how it actually is. This principle of the fixity of the past has been presented in numerous ways, playing a crucial role in arguments for logical and theological fatalism, and for the incompatibility of causal determinism and the ability to do otherwise. I will argue that, assuming bivalence, this principle is in conflict with standard views about (...) knowledge and the semantics for ‘actually’. I also consider many possible responses to the argument. (shrink)

In this paper, I argue that the temporal connective prima (‘before’) is a comparative adverb. The argument is based on a number of grammatical facts from Italian, showing that there is an asymmetry between prima and dopo (‘after’). On the ground of their divergent behaviour, I suggest that dopo has a different grammatical status from prima. I propose a semantic treatment for prima that is based on an independently motivated analysis of comparatives which can be traced back to Seuren (in: (...) Kiefer and Ruwet (eds.) Generative grammar in Europe, 1973). Dopo is analyzed instead as an atomic two-place predicate which contributes a binary relation over events to the sentence meaning. The different semantic treatments of the two connectives provide an explanation for the grammatical asymmetries considered at the outset; interestingly, they also shed some light on other asymmetries between prima and dopo, which are known to hold for the English temporal connectives before and after as well: these asymmetries are related to the veridicality properties, the distribution of NPIs, and the logical properties of these connectives first described in Anscombe (Philos Rev 73:3–24, 1964). (shrink)

In scientific communications, journal articles, and philosophical aesthetic debates the words “art”, “creativity”, and “machine” are put together more and more frequently. Since some machines are designed to, or happens to, imitate human artistic creativity, it seems natural to use the same words to talk about human artists and machines which imitate them. However, the evolution of language in light of technology may conceal specific features of the phenomena it is supposed to describe. This makes it difficult to understand what (...) machine creativity actually is and how it is connected to human creativity. The aim of the paper is to investigate why, and in what sense, the functioning of some machines may be described in terms of artistic creativity and what is the relation between machine creativity and its human archetype. I start (§1) by introducing some general ideas concerning how language evolves alongside new technologies and focusing on the case of machine creativity. In §2 I review how some creative machines have been presented to the public, thus showing that a linguistic habit which connects machines to artistic creativity has already formed. In §3 I survey the debate on machine aesthetics and I highlight the main traits of the issue. In §4 I submit a primary scheme of machine creativity which draws on the concept of functional autonomy. Finally (§5), I argue that machine creativity cannot be mistaken for a substitute of the human kind, despite the fact that the word is the same. Creative machines are technological mediums by which new forms of human aesthetic experience can be explored. The kind of creativity machines enjoy displays a functional nature. (shrink)

RESUMO A inseminação artificial (IA) é a biotecnologia mais empregada com vantagens superiores em relação a utilização da monta natural, cuja eficácia se dá na larga escala de reprodução entre os bovinos. Associando essa biotécnica com hormônios pode-se estabelecer manipulações do sistema reprodutivo da fêmea, levando a manejos de inúmeras cabeças de gado para inseminar a um tempo fixo. Portanto, foram realizados 5 protocolos de IATF, tendo 2 categorias de animais: nulíparas e multíparas. No protocolo 1 foram submetidas 81 multíparas, (...) resultando em 47 animais prenhes; No protocolo 2 foram protocoladas 103 animais multíparas, no qual resultou em 51 prenhes; já o protocolo 5 foram submetidas 77 animais multíparas, no qual resultou em 36 animais prenhes. Cada serviço realizado foi matematicamente calculado, sendo o ponto de partida o escore corporal, bem estar animal e a técnica bem exercida. Desta forma obteve bons resultados na (IATF) , no qual destaca-se o percentual : o protocolo 1 obteve 58,02%, o protocolo 2 obteve 49,51% na taxa de prenhez, No protocolo 3 obteve 55,67% na taxa de prenhez, o protocolo 4 obteve 53,33% de prenhes, já o protocolo 5 resultou em 46,75% de prenhez. O uso das biotecnologias da reprodução, realizadas em bovinos de corte, obteve resultado dentro do descrito pela literatura consultada. A boa taxa de prenhes apresentada na IATF deveu-se ao bom controle hormonal do ciclo estral e da qualidade do sêmen utilizado. A taxa de prenhez dos animais que foram submetidos à monta natural foi baixa pelo fato de que os reprodutores não conseguiram cobrir todas as fêmeas. ABSTRACT The artificial insemination (AI) is the most used biotechnology with superior advantages in relation to the use of natural mounting, whose effectiveness is given in the large scale of reproduction among cattle. Associating this biotechnique with hormones it is possible to establish manipulations of the reproductive system of the female, leading to managements of numerous heads of cattle to inseminate at a fixed time. Therefore, 5 IATF protocols were performed, having 2 categories of animals: nulliparous and multiparous. In protocol 1, 81 multiparous animals were submitted, resulting in 47 pregnant animals; in protocol 2, 103 multiparous animals were submitted, resulting in 51 pregnancies; and in protocol 5, 77 multiparous animals were submitted, resulting in 36 pregnant animals. Each service performed was mathematically calculated, with the starting point being the body score, animal welfare and the well exercised technique. Thus obtained good results in the (IATF), which highlights the percentage: protocol 1 obtained 58.02%, protocol 2 obtained 49.51% in pregnancy rate, in protocol 3 obtained 55.67% in pregnancy rate, protocol 4 obtained 53.33% pregnant, and protocol 5 resulted in 46.75% pregnant. The use of the reproduction biotechnologies, performed in beef cattle, obtained results within the described by the consulted literature. The good pregnancy rate presented in the IATF was due to the good hormonal control of the estrous cycle and the quality of the semen used. The pregnancy rate of animals that were subjected to natural mating was low due to the fact that the sires could not cover all the females. Keywords: Hormones. Cattle Pregnancy Rate. Artificial Insemination in Cattle. Hormones in Cattle Reproduction. -/- REFERÊNCIAS BIBLIOGRÁFICAS AMBRÓSIO, P. H. et al. Ressincronização da ovulação em programas de IATF: novas estratégias. 2018. BARUSELLI, P. S.; GIMENES, L. U.; SALES, J. N. de S. Fisiologia reprodutiva de fêmeas taurinas e zebuínas. Revista Brasileira de Reprodução Animal, v. 31, n. 2, p. 205-211, 2007. BARUSELLI, P. S. et al. Evolução e perspectivas da inseminação artificial em bovinos. Revista Brasileira de Reprodução Animal, v. 43, n. 2, p. 308-314, 2019. BÓ, G. A. et al. Alternative programs for synchronizing and resynchronizing ovulation in beef cattle. Theriogenology, v. 86, n. 1, p. 388-396, 2016. BOTTINO, M. P. et al. Effects of eCG and FSH in timed artificial insemination treatment regimens on estrous expression and pregnancy rates in primiparous and multiparous Bos indicus cows. Animal Reproduction Science, v. 228, p. 106751, 2021. DA SILVA, Emanuel Isaque Cordeiro. Técnica da Inseminação Artificial em Bovinos: Manejo Passo a Passo. 2020. DA SILVA, Emanuel Isaque Cordeiro. Reprodução Animal: Inseminação Artificial. 2020. DA SILVA, Emanuel Isaque Cordeiro. Fisiologia da Reprodução Animal: Ovulação, Controle e Sincronização do Cio. 2020. DA SILVA, Emanuel Isaque Cordeiro. Fisiologia da Reprodução de Bovinos Leiteiros: Aspectos Básicos e Clínicos. Emanuel Isaque Cordeiro da Silva, 2022. KRAUS, Beth M.; PARENTE, Eric J.; TULLENERS, Eric P. Laryngoplasty with ventriculectomy or ventriculocordectomy in 104 draft horses (1992–2000). Veterinary Surgery, v. 32, n. 6, p. 530-538, 2003. MONGELLI, Melissa Sanches; TAVARES, Izabel Cristina; FERRANTE, Marcos. Evolução e premissas dos protocolos hormonais de inseminação artificial em tempo fixo na pecuária. Ciência Animal, v. 31, n. 1, p. 119-133, 2021. VILELA, G. C. Protocolos de IATF em novilhas precoce e super precoce. 2021. (shrink)

In response to the many social impacts of automated mobility, in September 2020 the European Commission published Ethics of Connected and Automated Vehicles, a report in which recommendations on road safety, privacy, fairness, explainability, and responsibility are drawn from a set of eight overarching principles. This paper presents the results of an interdisciplinary research where philosophers and engineers joined efforts to operationalize the guidelines advanced in the report. To this aim, we endorse a function-based working approach to support the implementation (...) of values and recommendations into the design of automated vehicle technologies. Based on this, we develop methodological tools to tackle issues related to personal autonomy, explainability, and privacy as domains that most urgently require fine-grained guidance due to the associated ethical risks. Even though each tool still requires further inquiry, we believe that our work might already prove the productivity of the function-based approach and foster its adoption in the CAV scientific community. (shrink)

In this paper we present an overview, with historical and critical remarks, of two articles by S. Jaśkowski ([20, 21] 1948 and [22, 23] 1949), which contain the oldest known formulation of a paraconsistent logic. Jaśkowski has built the logic – he termed discussive (D2) – by defining two new connectives and by introducing a modal translation map from D2 systems into Lewis’ modal logic S5. Discussive systems, for their formal details and their original philosophical justification, have attracted discrete attention (...) among experts. Indeed, in what follows, after having introduced Jaśkowski methodology of building D2 and his main philosophical motivations for providing such a system, we will explore some of the main contributions to the development of D2. (shrink)

In this paper I critically evaluate the value neutrality thesis regarding technology, and find it wanting. I then introduce the various ways in which artifacts can come to influence moral value, and our evaluation of moral situations and actions. Here, following van de Poel and Kroes, I introduce the idea of value sensitive design. Specifically, I show how by virtue of their designed properties, artifacts may come to embody values. Such accounts, however, have several shortcomings. In agreement with Michael Klenk, (...) I raise epistemic and metaphysical issues with respect to designed properties embodying value. The concept of an affordance, borrowed from ecological psychology, provides a more philosophically fruitful grounding to the potential way(s) in which artifacts might embody values. This is due to the way in which it incorporates key insights from perception more generally, and how we go about determining possibilities for action in our environment specifically. The affordance account as it is presented by Klenk, however, is insufficient. I therefore argue that we understand affordances based on whether they are meaningful, and, secondly, that we grade them based on their force. (shrink)

The aim of this thesis is to advance a philosophically justifiable account of Artificial Moral Agency (AMA). Concerns about the moral status of Artificial Intelligence (AI) traditionally turn on questions of whether these systems are deserving of moral concern (i.e. if they are moral patients) or whether they can be sources of moral action (i.e. if they are moral agents). On the Organic View of Ethical Status, being a moral patient is a necessary condition for an entity to qualify as (...) a moral agent. This view claims that because artificial agents (AAs) lack sentience, they cannot be proper subjects of moral concern and hence cannot be considered to be moral agents. I raise conceptual and epistemic issues with regards to the sense of sentience employed on this view, and I argue that the Organic View does not succeed in showing that machines cannot be moral patients. Nevertheless, irrespective of this failure, I also argue that the entire project is misdirected in that moral patiency need not be a necessary condition for moral agency. Moreover, I claim that whereas machines may conceivably be moral patients in the future, there is a strong case to be made that they are (or will very soon be) moral agents. Whereas it is often argued that machines cannot be agents simpliciter, let alone moral agents, I claim that this argument is predicated on a conception of agency that makes unwarranted metaphysical assumptions even in the case of human agents. Once I have established the shortcomings of this “standard account”, I move to elaborate on other, more plausible, conceptions of agency, on which some machines clearly qualify as agents. Nevertheless, the argument is still often made that while some machines may be agents, they cannot be moral agents, given their ostensible lack of the requisite phenomenal states. Against this thesis, I argue that the requirement of internal states for moral agency is philosophically unsound, as it runs up against the problem of other minds. In place of such intentional accounts of moral agency, I provide a functionalist alternative, which makes conceptual room for the existence of AMAs. The implications of this thesis are that at some point in the future we may be faced with situations for which no human being is morally responsible, but a machine may be. Moreover, this responsibility holds, I claim, independently of whether the agent in question is “punishable” or not. (shrink)

We present a sound and complete Fitch-style natural deduction system for an S5 modal logic containing an actuality operator, a diagonal necessity operator, and a diagonal possibility operator. The logic is two-dimensional, where we evaluate sentences with respect to both an actual world (first dimension) and a world of evaluation (second dimension). The diagonal necessity operator behaves as a quantifier over every point on the diagonal between actual worlds and worlds of evaluation, while the diagonal possibility quantifies over some point (...) on the diagonal. Thus, they are just like the epistemic operators for apriority and its dual. We take this extension of Fitch’s familiar derivation system to be a very natural one, since the new rules and labeled lines hereby introduced preserve the structure of Fitch’s own rules for the modal case. (shrink)

A critical review of the main themes arising out of recent literature on the semantics of ordinary event talk. The material is organized in four sections: (i) the nature of events, with emphasis on the opposition between events as particulars and events as universals; (ii) identity and indeterminacy, with emphasis on the unifier/multiplier controversy; (iii) events and logical form, with emphasis on Davidson’s treatment of the form of action sentences; (iv) linguistic applications, with emphasis on issues concerning aspectual phenomena, the (...) telicity/atelicity distinction, the treatment of statives, and temporal quantification. (shrink)

Recent research in the field of social robotics has shed light on the considerable role played by biases in the design of social robots. Cues that trigger widespread biased expectations are implemented in the design of social robots to increase their familiarity and boost interaction quality. Ethical discussion has focused on the question concerning the permissibility of leveraging social biases to meet the design goals of social robotics. As a result, integrating ethically problematic social biases in the design of robots-such (...) as, e.g., discriminatory gender stereotypes-has been opposed as morally unacceptable. Building on this debate, the present paper explores a related but different question: would it be permissible to design social robots in ways that intentionally challenge widespread discriminatory social biases, thus fostering moral education? The analysis shows that, while the potential benefits of such a design strategy could be significant, its practical endorsement raises important ethical issues. Hence, caution and further discussion are advised. (shrink)

The present paper aims at contributing to the ethical debate on the impacts of artificial intelligence (AI) systems on human autonomy. More specifically, it intends to offer a clearer understanding of the design challenges to the effort of aligning driving automation technologies to this ethical value. After introducing the discussion on the ambiguous impacts that AI systems exert on human autonomy, the analysis zooms in on how the problem has been discussed in the literature on connected and automated vehicles (CAVs). (...) On this basis, it is claimed that the issue has been mainly tackled on a fairly general level, and mostly with reference to the controversial issue of crash-optimization algorithms, so that only limited design insights have been drawn. However, integrating ethical analysis and design practices is critical to pursue the implementation of such an important ethical value into CAV technologies. To this aim, it is argued, a more applied approach targeted at examining the impacts on human autonomy of current CAV functions should also be explored. As an example of the intricacy of this task, the case of automated route planning is discussed in some detail. (shrink)

Neste artigo analisamos o conceito de eu quantificado a partir na Perspectiva de Segunda Pessoa, segundo a qual a eu-dade, ou pessoalidade, é atualizada em relações contexto-dependentes de total ou parcial transparência cognitiva não redutíveis aos aspectos considerados nas perspectivas de primeira ou de terceira pessoa. O eu quantificado designa o indivíduo que realiza medições sobre si mesmo por meio de tecnologias ubíquas em rede para obter um suposto maior autoconhecimento, instanciando, segundo alguns autores, um ponto de vista de Quarta (...) Pessoa constituído por relações de alteridade (pessoa-máquina-pessoa) emergentes, em especial, em um cenário sociocultural permeado por tecnologias ubíquas e análises de big data. Procuraremos problematizar a tese de que o automonitoramento digital promoveria um aprofundamento do autoconhecimento, defendida pelos postuladores da quantificação do eu. Procuraremos mostrar que a coleta de dados sobre si mesmo por meio de tecnologias ubíquas não favorece necessariamente a constituição/atualização da pessoalidade porque o automonitoramento digital mediado pode interferir significativamente nos modos de interação social da Segunda Pessoa e no autoconhecimento que tal interação pode promover. (shrink)

Los procesos de globalización constituyen un vasallaje cultural para la identidad regional de los pueblos originarios, por ello, aun cuando la identidad sea un concepto polisémico, ciertas actividades son necesarias para mantenerla o, incluso, acrecentarla. Los idiomas autóctonos, la preservación de su cosmovisión, sus tradiciones y la defensa de su patrimonio biocultural pueden ser elementos constitutivos de identidad, no para un aislamiento de los pueblos, sino para la construcción de una visión glocal.

We consider a natural-language sentence that cannot be formally represented in a first-order language for epistemic two-dimensional semantics. We also prove this claim in the “Appendix” section. It turns out, however, that the most natural ways to repair the expressive inadequacy of the first-order language render moot the original philosophical motivation of formalizing a priori knowability as necessity along the diagonal.

Este estudio se ocupa del control social del cuerpo y de la reconfiguración de la memoria popular en películas de horror a través de la perspectiva genealógica de Foucault, presentada en su libro Vigilar y Castigar, publicado hace 40 años. Por lo tanto, tomaremos, À l’interieur e Frontière (s), dos producciones de horror cinematográfico hechas por directores franceses, ambos publicados en 2007. La hipótesis principal es que las películas de terror se muestran como una nueva forma de vigilancia y control (...) social del cuerpo. Por otro lado, también puede recodificar la memoria popular apropiándose de acontecimientos polítcos y/o revolucionarios como en las películas comentadas por Foucault en la revista Cahiers de Cinéma en 1974 políticas, aunque no sean las películas de terror. (shrink)

Shiva means nothing; nothing from which everything was created; created and manifested to be adorned and respected. Observers cannot exist when the whole world is in non-duality because all is one; no distinction between observers and observed would be possible. Therefore to satisfy the urge for an observer, Shakti or energy manifests itself as consciousness. Consciousness, the manifested gives us the ability to perceive and experience. Religion originates from our perception as a medium to bring in morality and humanity and (...) helps us experience reality. We emerge from nothingness and go back to nothingness. (shrink)

This paper challenges the negative attitudes towards labelled proof systems, usually referred to as semantic pollution, by arguing that such critiques overlook the full potential of labelled calculi. The overarching objective is to develop a practice-based philosophical analysis of labelled calculi to provide insightful considerations regarding their proof-theoretic and philosophical value. To achieve this, successful applications of labelled calculi and related results will be showcased, and comparisons with other relevant works will be discussed. The paper ends by advocating for a (...) more practice-based approach towards the philosophical understanding of proof systems and their role in structural proof theory. (shrink)

This paper explores the Persistence Question about cities, that is, what is necessary and sufficient for two cities existing at different times to be numerically identical. We first show that we can possibly put an end to the existence of a city in a number of ways other than by physically destroying it, which reveals the metaphysics of cities to be partly different from that of ordinary objects. Then we focus in particular on the commonly perceived vulnerability of cities to (...) imaginary relocation; and we make the hypothesis that cities do have among their essential properties that of being surrounded by a specific geographical context. Finally we investigate the pos- sibility that a city can survive relocation in virtue of the capacity of its geographical context to survive it in the first place. We suggest that city contexts may not be essentially context-dependent in turn, and outline a possible description of the cri- teria for their persistence over time. (shrink)

This article presents a challenge that those philosophers who deny the causal interpretation of explanations provided by population genetics might have to address. Indeed, some philosophers, known as statisticalists, claim that the concept of natural selection is statistical in character and cannot be construed in causal terms. On the contrary, other philosophers, known as causalists, argue against the statistical view and support the causal interpretation of natural selection. The problem I am concerned with here arises for the statisticalists because the (...) debate on the nature of natural selection intersects the debate on whether mathematical explanations of empirical facts are genuine scientific explanations. I argue that if the explanations provided by population genetics are regarded by the statisticalists as non-causal explanations of that kind, then statisticalism risks being incompatible with a naturalist stance. The statisticalist faces a dilemma: either she maintains statisticalism but has to renounce naturalism; or she maintains naturalism but has to content herself with an account of the explanations provided by population genetics that she deems unsatisfactory. This challenge is relevant to the statisticalists because many of them see themselves as naturalists. (shrink)

Evolutionary Debunking Arguments are defined as arguments that appeal to the evolutionary genealogy of our beliefs to undermine their justification. Recently, Helen De Cruz and her co-authors supported the view that EDAs are self-defeating: if EDAs claim that human arguments are not justified, because the evolutionary origin of the beliefs which figure in such arguments undermines those beliefs, and EDAs themselves are human arguments, then EDAs are not justified, and we should not accept their conclusions about the fact that human (...) arguments are unjustified. De Cruz's objection to EDAs is similar to the objection raised by Reuben Hersh against the claim that, since by Gödel's second incompleteness theorem the purpose of mathematical logic to give a secure foundation for mathematics cannot be achieved, mathematics cannot be said to be absolutely certain. The response given by Carlo Cellucci to Hersh's objection shows that the claim that by Gödel's results mathematics cannot be said to be absolutely certain is not self-defeating, and can be adopted to show that EDAs are not self-defeating as well in a twofold sense: an argument analogous to Cellucci's one may be developed to face De Cruz's objection, and such argument may be further refined incorporating Cellucci's response itself in it, to make it stronger. This paper aims at showing that the accusation of being self-defeating moved against EDAs is inadequate by elaborating an argument which can be considered an EDA and which can also be shown not to be self-defeating. (shrink)

En este artículo se plantean algunas consideraciones clásicas que santo Tomás de Aquino formuló sobre la fundamentación de la ley como producto de la razón y su relación con las leyes de los hombres. Se analiza el papel de la sindéresis como vínculo del individuo con la ius naturae y se concluye que la vida buena tiene un referente en el “estado de derecho” y en la práctica sistemática de las virtudes morales.

Interview with Stathis Psillos regarding realism in the philosophy of science and recent realist trends in Continental Philosophy.

In this paper, we present a case of a boy – Noah Wall, who till today surprises the world of neuroscience with his will to grow his brain and survive. The case presented in this study sets a stepping stone in understanding the advent of the will to make a choice, from a neuro-quantum mechanics interpretation. We propose that besides our internal states of choices (neurogenesis, neuroplasticity, cell differentiation, etc.) we also relate with external states of choices (love, compassion, empathy, (...) emotions, etc.) that contributes to its emergence. Quantum uncertainty seems to support the existence of a fundamental property based on which the universe functions; which means that even the nothing of free space has a small chance of containing something. Outcomes are not determined by prior or random events but by consciousness that gives rise to these outcomes. This provides us a lead into understanding the existence of the will and the origin of choice when we look deeper into the realms of the implausible interpretations of quantum mechanics. Free will is the ability for the mind to choose between possible outcomes. Willful power is therefore not only a psychological intervention but also a biological and quantum intervention, where we have the capacity to make choices about what direction we will take, making a change to the systematic functioning of our body. (shrink)

L’Intelligenza Artificiale Generativa (IAG) pone sfide inedite all’educazione universitaria. Dalla definizione dei contenuti alla valutazione delle prove e alla determinazione delle modalità di esame, questo nuovo e potente strumento inaugura una stagione di cambiamenti su cui è urgente riflettere. La tecnologia contribuisce da sempre a dare forma al lavoro didattico, il quale evolve anche alla luce delle opportunità e dei rischi che essa introduce. Come far sì che l’evoluzione stimolata dall’IAG sia felice, ovvero serva i valori e gli obiettivi della (...) didattica e delle persone che la vivono? Ne ho discusso con alcuni colleghi dell’Unità di Studi META del Politecnico di Milano – docenti impegnati a vario titolo in corsi di carattere filosofico e sociale rivolti a studenti di formazione tecnica. (shrink)

This paper investigates and develops generalizations of two-dimensional modal logics to any finite dimension. These logics are natural extensions of multidimensional systems known from the literature on logics for a priori knowledge. We prove a completeness theorem for propositional n-dimensional modal logics and show them to be decidable by means of a systematic tableau construction.